pure literal rule
英 [pjʊə(r) ˈlɪtərəl ruːl]
美 [pjʊr ˈlɪtərəl ruːl]
网络 纯文字规则
双语例句
- We have given some schemes of ( matrix) resolution combined with single literal, pure literal, rule of split and T-invariant of Petri net, ( then) proved its perfectibility.
结合归结原理的单文字、纯文字、分裂规则以及Petri网的T-不变量归结的思想，给出了几种矩阵归结策略，证明了它们的完备性。